<html>
<head><meta charset="utf-8"><title>sync 2019-04-30 · t-compiler/wg-rfc-2229 · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/index.html">t-compiler/wg-rfc-2229</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html">sync 2019-04-30</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="164560399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164560399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164560399">(Apr 30 2019 at 18:00)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="1175">@WG-rfc-2229</span> =)</p>



<a name="164560419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164560419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164560419">(Apr 30 2019 at 18:00)</a>:</h4>
<p>I've done nothing this week <em>however</em> I am hoping to get on top of <span class="user-mention" data-user-id="116773">@csmoe</span>'s PR, now that I've cleared out some other things from my review queue</p>



<a name="164560556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164560556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> ange <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164560556">(Apr 30 2019 at 18:02)</a>:</h4>
<p>Cool. Guessing the tentative planning mentioned in the compliler meeting mostly holds?</p>



<a name="164560585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164560585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164560585">(Apr 30 2019 at 18:02)</a>:</h4>
<p>HI everyone <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="164560715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164560715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164560715">(Apr 30 2019 at 18:04)</a>:</h4>
<p><span class="user-mention" data-user-id="127677">@ange</span>  What was the tentative planning ? Can you summarize for me ?</p>



<a name="164560744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164560744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164560744">(Apr 30 2019 at 18:04)</a>:</h4>
<p>Sorry about that. I missed it</p>



<a name="164560844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164560844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> ange <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164560844">(Apr 30 2019 at 18:05)</a>:</h4>
<p><span class="user-mention" data-user-id="128294">@blitzerr</span> traveling, on mobile; in short, perhaps working on your PR and maybe pausing afterwards. Do look up the log though, in case I'm misremembering</p>



<a name="164560956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164560956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164560956">(Apr 30 2019 at 18:06)</a>:</h4>
<p><span class="user-mention" data-user-id="127677">@ange</span>  Thanks I do remember that part as it came with my mention. Was wondering if something else</p>



<a name="164561004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561004">(Apr 30 2019 at 18:07)</a>:</h4>
<p>planning from compiler team meeting: <a href="https://github.com/rust-lang/compiler-team/blob/master/working-groups/rfc-2229/README.md" target="_blank" title="https://github.com/rust-lang/compiler-team/blob/master/working-groups/rfc-2229/README.md">https://github.com/rust-lang/compiler-team/blob/master/working-groups/rfc-2229/README.md</a></p>



<a name="164561005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561005">(Apr 30 2019 at 18:07)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> can you point me to <span class="user-mention" data-user-id="116773">@csmoe</span>  's PR. I would like to gloss over it too.</p>



<a name="164561017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561017">(Apr 30 2019 at 18:07)</a>:</h4>
<p>oops, wrong link</p>



<a name="164561018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561018">(Apr 30 2019 at 18:07)</a>:</h4>
<p><a href="https://github.com/rust-lang/compiler-team/blob/master/minutes/triage-meeting/2019-04-25.md#wg-rfc-2229" target="_blank" title="https://github.com/rust-lang/compiler-team/blob/master/minutes/triage-meeting/2019-04-25.md#wg-rfc-2229">https://github.com/rust-lang/compiler-team/blob/master/minutes/triage-meeting/2019-04-25.md#wg-rfc-2229</a></p>



<a name="164561098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561098">(Apr 30 2019 at 18:08)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> can you point me to <span class="user-mention silent" data-user-id="116773">csmoe</span>  's PR. I would like to gloss over it too.</p>
</blockquote>
<p><a href="https://github.com/rust-lang/rust/pull/60227" target="_blank" title="https://github.com/rust-lang/rust/pull/60227">https://github.com/rust-lang/rust/pull/60227</a></p>



<a name="164561120"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561120" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561120">(Apr 30 2019 at 18:08)</a>:</h4>
<p>Thanks a lot <span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="164561367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561367">(Apr 30 2019 at 18:10)</a>:</h4>
<p>just gave it a quick read, and it looks good</p>



<a name="164561373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561373">(Apr 30 2019 at 18:10)</a>:</h4>
<p>not complete yet I don't think</p>



<a name="164561390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561390">(Apr 30 2019 at 18:11)</a>:</h4>
<p>So on the compiler error regression that my PR caused, have we made much progress ?</p>



<a name="164561406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561406">(Apr 30 2019 at 18:11)</a>:</h4>
<p>No, I was thinking I'd try to investigate that for the next few minut :)</p>



<a name="164561423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561423">(Apr 30 2019 at 18:11)</a>:</h4>
<p>the one thing I would say more generally is</p>



<a name="164561440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561440">(Apr 30 2019 at 18:11)</a>:</h4>
<p><span class="user-mention" data-user-id="127677">@ange</span> and I had a good conversation about how to handle the next few steps</p>



<a name="164561510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561510">(Apr 30 2019 at 18:12)</a>:</h4>
<p>I think the first step is going to be refactoring and simplifying the <code>ExprUseVisitor</code> to be more targeted at this use case</p>



<a name="164561519"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561519" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561519">(Apr 30 2019 at 18:12)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="127677">ange</span> and I had a good conversation about how to handle the next few steps</p>
</blockquote>
<p>nice.</p>



<a name="164561523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561523">(Apr 30 2019 at 18:12)</a>:</h4>
<p>well, probably making a clone of it, since the EUV will be going away</p>



<a name="164561536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561536">(Apr 30 2019 at 18:12)</a>:</h4>
<p>if we do this design, I'd like to make use of the new compiler team "design meeting" plans</p>



<a name="164561538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561538">(Apr 30 2019 at 18:12)</a>:</h4>
<p>We have it added in the roadmap paperdoc ?</p>



<a name="164561559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561559">(Apr 30 2019 at 18:12)</a>:</h4>
<p>to try and write-up the plan</p>



<a name="164561570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561570">(Apr 30 2019 at 18:12)</a>:</h4>
<blockquote>
<p>We have it added in the roadmap paperdoc ?</p>
</blockquote>
<p>that's a very smart question :) I'm not sure how much we noted down</p>



<a name="164561582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561582">(Apr 30 2019 at 18:12)</a>:</h4>
<p>:D</p>



<a name="164561597"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561597" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561597">(Apr 30 2019 at 18:13)</a>:</h4>
<p>our conversation was <a href="#narrow/stream/189812-t-compiler.2Fwg-rfc-2229/topic/sync.202019-04-09" title="#narrow/stream/189812-t-compiler.2Fwg-rfc-2229/topic/sync.202019-04-09">here on Zulip</a></p>



<a name="164561599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561599">(Apr 30 2019 at 18:13)</a>:</h4>
<p>(for the record)</p>



<a name="164561608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561608">(Apr 30 2019 at 18:13)</a>:</h4>
<p><span class="user-mention" data-user-id="127677">@ange</span> also has a paper doc with extensive notes</p>



<a name="164561634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561634">(Apr 30 2019 at 18:13)</a>:</h4>
<p>the big question for me is how to prioritize this work -- but actually turning it into "code cleanup and refactoring", in a way, ups the priority for me mildly, since I think that cleaning up rustc is also quite important</p>



<a name="164561701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561701">(Apr 30 2019 at 18:14)</a>:</h4>
<p>Looks like <span class="user-mention" data-user-id="127677">@ange</span>  has made some great progress. Great work !!</p>



<a name="164561704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> ange <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561704">(Apr 30 2019 at 18:14)</a>:</h4>
<p>I don't think we have enough info for someone to do the EUV rewrite yet though?</p>



<a name="164561729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561729">(Apr 30 2019 at 18:14)</a>:</h4>
<blockquote>
<p>the big question for me is how to prioritize this work -- but actually turning it into "code cleanup and refactoring", in a way, ups the priority for me mildly, since I think that cleaning up rustc is also quite important</p>
</blockquote>
<p>I am very much in tune with that thought.</p>



<a name="164561867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561867">(Apr 30 2019 at 18:16)</a>:</h4>
<p>This is ignorant of me, what is EUV ?</p>



<a name="164561875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561875">(Apr 30 2019 at 18:16)</a>:</h4>
<p>The <code>ExprUseVisitor</code>--</p>



<a name="164561885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561885">(Apr 30 2019 at 18:16)</a>:</h4>
<p>it's a bit of code that walks the HIR and figures out which paths are borrowed, which are moved, etc</p>



<a name="164561887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561887">(Apr 30 2019 at 18:16)</a>:</h4>
<p>Ahh !</p>



<a name="164561895"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561895" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561895">(Apr 30 2019 at 18:16)</a>:</h4>
<p>we use it as part of figuring out what a closure does</p>



<a name="164561900"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561900" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561900">(Apr 30 2019 at 18:16)</a>:</h4>
<p>i.e., how it uses its upvars</p>



<a name="164561909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561909">(Apr 30 2019 at 18:16)</a>:</h4>
<p>I remember that part.</p>



<a name="164561917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561917">(Apr 30 2019 at 18:16)</a>:</h4>
<p>it is also used from borrowck (which was the bit of code it was invented for)</p>



<a name="164561938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561938">(Apr 30 2019 at 18:17)</a>:</h4>
<p>but borrowck has been rewritten to operate on MIR, which no longer needs such a thing since it's not hard to figure out</p>



<a name="164561942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561942">(Apr 30 2019 at 18:17)</a>:</h4>
<p>Not well versed with the acronyms yet <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="164561966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561966">(Apr 30 2019 at 18:17)</a>:</h4>
<p>and so I have been hoping to rewrite the MC (mem-categorization) / EUV (expr-user-visitor) code for a while now</p>



<a name="164561995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164561995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164561995">(Apr 30 2019 at 18:17)</a>:</h4>
<p>We can do that cleanup as well.</p>



<a name="164562115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164562115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164562115">(Apr 30 2019 at 18:18)</a>:</h4>
<p>yeah, it's just that it'll take some planning</p>



<a name="164562123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164562123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164562123">(Apr 30 2019 at 18:18)</a>:</h4>
<p>My take away from earlier cleanup is that it makes people like me understand the underpinnings of the compiler before making a meaty change</p>



<a name="164562132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164562132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164562132">(Apr 30 2019 at 18:18)</a>:</h4>
<p>right</p>



<a name="164562141"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164562141" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164562141">(Apr 30 2019 at 18:18)</a>:</h4>
<p>it's a good opportunity to "do it right" --</p>



<a name="164562153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164562153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164562153">(Apr 30 2019 at 18:18)</a>:</h4>
<p>i.e., I'd like to have a kind of plan, and then add some rustc-guide docs, etc</p>



<a name="164562185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164562185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164562185">(Apr 30 2019 at 18:19)</a>:</h4>
<p>anyway, let me take a look at these tests :)</p>



<a name="164562204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164562204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164562204">(Apr 30 2019 at 18:19)</a>:</h4>
<p>thanks a lot.</p>



<a name="164562238"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189812-t-compiler/wg-rfc-2229/topic/sync%202019-04-30/near/164562238" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> blitzerr <a href="https://rust-lang.github.io/zulip_archive/stream/189812-t-compiler/wg-rfc-2229/topic/sync.202019-04-30.html#164562238">(Apr 30 2019 at 18:19)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1175">@WG-rfc-2229</span>  Will that be all for today ?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>